1641. Symposium on real-time and hybrid systems :
Author: Cliff Jones, Ji Wang, Naijun Zhan (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
758
1642. Synchronous Programming of Reactive Systems
Author: by Nicolas Halbwachs.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information theory.,Operating systems (Computers),Software engineering.
1643. Synthesizable VHDL design for FPGAs
Author: / Eduardo Augusto Bezerra, Djones Vinicius Lettnin
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: VHDL (Computer hardware description language),Field programmable gate arrays,Engineering,Circuits and Systems,Electronics and Microelectronics, Instrumentation,Software Engineering/Programming and Operating Systems
Classification :
E-BOOK
1644. Synthesizable VHDL design for FPGAs
Author: / Eduardo Augusto Bezerra, Djones Vinicius Lettnin
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: VHDL (Computer hardware description language),Field programmable gate arrays,Engineering,Circuits and Systems,Electronics and Microelectronics, Instrumentation,Software Engineering/Programming and Operating Systems
Classification :
TK7885
.
7
1645. System analysis and modeling:
Author: Oeystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks -- Congresses.,Computer science -- Congresses.,Information systems -- Congresses.
1646. System analysis and modeling :
Author: Ferhat Khendek, Reinhard Gotzhein (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: System analysis, Congresses.,Business & Economics-- Information Management.,Computer hardware.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Software Development & Engineering-- General.,Information architecture.,Software Engineering.,System analysis.
Classification :
QA402
.
S26
2018
1647. System design from porvably correct constructs: the beginning of true software engineering
Author: Martin, James
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، System design,Programming ، Electronic digital computers,، Debugging in computer science
Classification :
QA
76
.
9
.
S88
M37
1985
1648. Systems programming
Author: Richard John Anthony.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering.,Systems programming (Computer science)
1649. Systems programming in Unix/Linux /
Author: K.C. Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)
Classification :
QA76
.
76
.
O63
W36
2018
1650. Systems, software, and quality engineering : applying defect behavior theory to programming
Author: Ferdinand, Arthur E.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Software engineering , Systems engineering
Classification :
QA
76
.
758
.
F47
1993
1651. Systolic Computations
Author: by M.A. Frumkin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematics.,Software engineering.
1652. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
Author: M.C. Gaudel, J.P. Jouannaud )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
668
1653. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
Author: edited by Harmut Ehrig...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
249-250
1654. TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. v.1.: Advanced seminar on foundations of innovative software development 1 and collquium on trees in algebra and programming )CAAP '87(
Author: Edited by Hartmut Ehrig...]et al.[
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer software - Development,Congresses ، Software engineering,Data processing - Congresses ، Trees )Graph theory(
Classification :
QA
76
.
L4
v
.
249
1655. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
Author: J. Diaz, F. Orejas )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
351-352
1656. TAPSOFT 91 : proceedings of the international joint conference on theory and practice of software development, Brighton, UK, April 8-12, 1991
Author: S. Abramsky, T.S.E. Maibaum )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
493-494
1657. TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development-- Congresses
Classification :
QA
76
.
76
.
D47
.
I58
1993
1658. TAPSOFT'97 : theory and practice of software development : 7th International Joint Conference CAAP/ FASE ... 1997 : proceedings
Author: Michel Bidoit, Max Dauchet )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
1214
1659. Task models and diagrams for user interface design
Author: David England ... [et al.]& (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Human-computer interaction, Congresses,User interfaces (Computer systems), Congresses,User interfaces (Computer systems), Design, Congresses,Task analysis, Congresses,Benutzeroberfleache., swd,Diagrammatisches Schliessen., swd,Kontextbezogenes System., swd,Mensch-Maschine-Kommunikation., swd,Modellgetriebene Entwicklung., swd,Prozessmanagement., swd,Task., swd,UML., swd,Breussel (2009), swd,Kongress., swd
1660. Tcl/Tk 8.5 Programming Cookbook
Author: / Wheeler, Bert
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL
Classification :
E-BOOK
